#include <am.h>
#include <nemu.h>
#include <stdio.h>
static AM_TIMER_RTC_T sys_rtc={.year=1900,.month=0,.day=0,.hour=0,.minute=0,.second=0};
//static uint64_t sys_us;
#define SEC 1

void __am_timer_init() {
 
}

void __am_timer_uptime(AM_TIMER_UPTIME_T *uptime) {
  uptime->us = inl(RTC_ADDR) | ((uint64_t)inl(RTC_ADDR+4)<<32);
  //update_rtc(uptime->us);
}

void __am_timer_rtc(AM_TIMER_RTC_T *rtc) {
  *rtc=sys_rtc;
}
